filelock.py was modified.