Adding the proper HAVE_CONFIG where needed.