Fixed config.def.h that would make it not compile under c++