fix configure script

... after the recent merge