Fix a missing #ifdef HAVE_CONFIG_H.