Properly comment two defines in config.h