check for HAVE_CONFIG_H