this drops another static binary and replaces it with a very small shell^Wpython script (again, python used to avoid sed / grep implementation differences)
chrysn