remove old pickling stuff; replace --restart option with --no-restart