dirstate.py