Files
scripts/shell/ghci_wrapper.sh