do not use PRIiPTR

git-svn-id: svn+ssh://svn.savannah.nongnu.org/gap/trunk@2749 d25b4930-3292-e311-b074-0010c6de5da8
cleanup

git-svn-id: svn+ssh://svn.savannah.nongnu.org/gap/trunk@2750 d25b4930-3292-e311-b074-0010c6de5da8