Added missing #ifdef HAVE_CONFIG_H