php5 "$(type -p $1)" "${@:2}"