Updated to use the new version of the Patmos interface.