when typing make under tmp, configure options used to be set at "build" command line...