Fix 64bit PPC type issue