small bugfix for clean.bash