minor change in new API configure script