Put important config parameters into config.h