debian/tuxtype.6