Run "sh ./configure" rather than "sh configure"; part of #7992
drwxr-xr-x - libraries