Merging fix, execute.sh to run from within AChecker