3 '/site/tex/support/splint/scripts/bindx.pl' wicked mole: Inappropriate ioctl for device
!		error.host	1
.