Fix warnings caused by using 0x%x to print pointers