Some galaxy-tools still require system-level builds so include the default path in the config file