dcache-tools.py: some fixes