Use correct format specifier for 64-bit integers. Change-Id: I366160220b5f7fe4ea6adb4719c4efeef6a7d6f7