revise filecompare.py