actually add filetools.py