evpobr Fix type mismatch in printf() on 32-bit systems