contrib/tanglu: Fix debile-tanglu-integration.py --clean