Edit: filecmp.py