# Mini-driver for GHCi
exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}