> > exec gap4sh -f "$0" ${@+"$@"} || exit 1 > > Try replacing gap4sh with stash and it'll work. Indeed it does. Everything is working again. Thanks Simon.