Switched to stdint.h since cstdint is >=c++11