1.1 --- a/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 18:46:52 2013 +0100
     1.2 +++ b/Admin/Windows/Cygwin/isabelle/postinstall	Fri Jan 18 20:16:47 2013 +0100
     1.3 @@ -1,7 +1,10 @@
     1.4 -#!/bin/dash
     1.5 +#!/bin/bash
     1.6  
     1.7  PATH=/bin
     1.8  
     1.9 +CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
    1.10 +peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
    1.11 +
    1.12  bash /etc/postinstall/base-files-mketc.sh.done
    1.13  
    1.14  mkpasswd -l >/etc/passwd