And indeed, kpathsea.info is not there Seems to me it should have gotten built if it tries to get installed, but anyway, it was my mistake to delete it, sorry. It's back now.