Small configure script fix