use highest protocol version for pickling