#!/bin/sh exec "$executablename" -f "$bindir/ghc" ${1+"$@"}