utils/cmpdirs.py: make executable.