slightly better configure script