Put config.h in include/ directory; fix bug