Small fix to debian build-clean.sh