No need to use the stuff from inttypes here

Change-Id: I8d80a8ff223d7c57f7efe808e07ac31aa4d521fd