python 3 and pickling...