Silly me, stdlib unpickling is just fine