Restore psystem.py that had been accidentally deleted.