To upickle 0.2.5