Maybe the pickle format is fixed now.