Re: [dev-context] should texexec abort if write18, \runMP* needed but not set?