Update configure script

(untested)