Forgot that fileparser.py was renamed to proofparser.py