auto-generated tex font map files
