maybe gcc will give us a hand if we don't explicitly include cstdint