Remove obsolete bash script