replaced config.def.h with my personal configuration