Take out remaining hardcoded path settings in config.def.h