MyRocks build fails on ppc64le: cinttypes: No such file or directory

After the latest upstream merge, MyRocks build fails on ppc64:

https://buildbot.askmonty.org/buildbot/builders/p8-suse12-rpm/builds/6933/steps/compile/logs/stdio

https://buildbot.askmonty.org/buildbot/builders/kvm-deb-bionic-ppc64le/builds/2007/steps/compile/logs/stdio

The error is:

rocksdb/rocksdb/util/crc32c_ppc.c:9:21: fatal error: cinttypes: No such file or directory

The file is crc32c_ppc .c, this explains why only PPC is affected.
<cinttypes> is a C++ header, so C file should not be including it (thanks to svoj for pointing this out)