Fix build.
Reported by joerg@, thanks !
dotty and lneato are only installed iff X11.