use our own copy of sbt-jflex