put cstdint stuff in the Config.hh to make it more centralized