Run "sh ./configure" rather than "sh configure"; part of #7992

This fixes a bug with how configure re-execs itself.