use highest protocol for pickling