Use %08x instead of %p

On Linux %p does not output leading zeros.