pkgsrc/devel/jflex