always use pickle.HIGHEST_PROTOCOL