Another obsolete shell script removed