fix 'done' in piety, piety.exit, and run_piety