(bug-fix:minor) Forget to include a boost/cstdint.hpp