Slight fix to configure script