This is a dirty hack so I can find out from Jenkins if there are
parts of config.h we don't need anymore