Delete config.def.h

uneeded