two permissions issues: - make binary-dist fails because an execute permission isn't set /bin/sh: ../distrib/prep-bin-dist-mingw: Permission denied - in binary distributions, the execute permission for ghcii.sh isn't set claus