Synchronize with updates to 'crun.py'.