Update configure script, too