bash_exec fix