fixed setting VFLAGS from the command line of configure