Fix that repairs the ability to execute commands with Bash in case command is not found on path by petervdonovan · Pull Request #1265 · lf-lang/lingua-franca