Make removal of config.h work properly in any case