Added stdint.h where needed