OK, das ist mal wirklich skurril, danke für den Tipp! Wen es noch interessiert, die Übersetzung kommt schon gebündelt mit einem vorkonfigurierten Emulator, man braucht diesen nur noch zu starten ohne sich selbst um irgendetwas zu kümmern.