Autoconf PROVEFLAGS