Index: trunk/server/common/oursrc/execsys/execsys-binfmt
===================================================================
--- trunk/server/common/oursrc/execsys/execsys-binfmt	(revision 1338)
+++ trunk/server/common/oursrc/execsys/execsys-binfmt	(revision 1357)
@@ -27,10 +27,5 @@
 {
     mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
-    cat > /proc/sys/fs/binfmt_misc/register <<REGISTER
-:pl:E::pl::/usr/bin/perl:
-:php:M::<?php::/usr/bin/php-cgi:
-:py:E::py::/usr/bin/python:
-:exe:E::exe::/usr/bin/mono:
-REGISTER
+    echo ':CLR:M::MZ::/usr/bin/mono:' > /proc/sys/fs/binfmt_misc/register
 }