add process manager; change exec to support argc==1 for now