The INSTALL file says we should use ./configure but this does not work.
The INSTALL file says we should use ./configure
but this does not work.