tex-check: renamed attoparsec to parser version