We don’t use kpathsea any more