> (Another way is to change which configuration file you use for configuration…) Actually, the recommended way would be to SITE=standard make all install or if you also need to edit the platform setting e.g. PLATFORM=linux-64 SITE=standard make all install No need to muck around with config.mk anymore for a quick install. :-) Best, Stefan