How to install jflex on Debian 9 (Stretch)