Index: trunk/server/common/oursrc/execsys/execsys-binfmt
===================================================================
--- trunk/server/common/oursrc/execsys/execsys-binfmt.pre	(revision 1119)
+++ trunk/server/common/oursrc/execsys/execsys-binfmt	(revision 1337)
@@ -27,7 +27,10 @@
 {
     mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
-# START-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
-# This section is populated by the script upd-execsys
-# END-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
+    cat > /proc/sys/fs/binfmt_misc/register <<REGISTER
+:pl:E::pl::/usr/bin/perl:
+:php:E::php::/usr/bin/php-cgi:
+:py:E::py::/usr/bin/python:
+:exe:E::exe::/usr/bin/mono:
+REGISTER
 }