added missing stdint header, bug #66907