Fix compilation error on Ubuntu where uint32_t is not defined.

Ubuntu does not seem to import uint32_t by default. This is using the boost header to fix that. Unfortunately #include <cstdint> is not yet available as this would require -std=c++11.