3 '/packages/tex/support/texdiff/texdiff' wicked mole: Inappropriate ioctl for device
!		error.host	1
.