Recognize patex as alternative "simulator" for Patmos.