FIX: printf warnings on 32 bit