Fix compilation error on Ubuntu where uint32_t is not defined.
Merge pull request #550 from t-paul/ubuntu-fix

Fix compilation error on Ubuntu where uint32_t is not defined.