Let the current syntax for "configure" be part of the build environment
Default to the existing value of $CONFIGURE if any