s,REPLACE-WITH-KPSEVERSION,kpathsea version 3., s,REPLACE-WITH-WEB2CVERSION, (Web2c .),