The server is being upgraded. This removes the Tirex build, as that is meanwhile available in Debian/ Ubuntu upstream.