Rename stdint.h to avoid patching LMDB source.