removed now obsolete config.h ifndef