combine setting of various configure command line options