Add HAVE_CONFIG_H