How to install flex on Debian 9 (Stretch)