Updated stdint to work (hopefully) with linux