1.1 --- a/Admin/Windows/Cygwin/isabelle/postinstall	Sun Jan 20 15:35:01 2013 +0100
     1.2 +++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Jan 21 16:33:54 2013 +0100
     1.3 @@ -2,9 +2,6 @@
     1.4  
     1.5  PATH=/bin
     1.6  
     1.7 -CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
     1.8 -peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
     1.9 -
    1.10  bash /etc/postinstall/base-files-mketc.sh.done
    1.11  
    1.12  mkpasswd -l >/etc/passwd