Here it is. To be clear, the $* -> "$@" is the only change in debian, so you can just change that..