Remove default_paths.salamander_file and make hardcoded constant
in config.def.h