Fixed problems with missing stdint.h on Ubuntu 14.04 if not using C++11