more precise cleanup in push-to-web.sh