fix a missing cast in printf - could start using %z...