config.h is autogenerated