Changes to config.hpp