no need to do ifdef HAVE_CONFIG_H twice