Since we're using C++11 I think <cstdint> is more appropriate.