Added stdint.h to Serialization.h (compile on linux)