use %p to printf pointers since %x doesn't work properly on tru64 for this

(and besides, we should be using the same %-code for all pointers)