lib/sh/util.sh: added no_PATH_recursion(), which allows running a system command of the same name as the script
lib/sh/util.sh: added no_PATH_recursion(), which allows running a system command of the same name as the script