Fix problem with CRABpy pickling.