Forgot to check in the modified configure script