(Salamander) Ifndef some stuff in config.def.h for Salamander