cmake doesn't recognize libfl-dev requirement
The jenkins debian stretch build failed because of missing FlexLexer.h header (which in stretch is provided by libfl-dev):
https://badger.ligo-wa.caltech.edu/builder/job/Debian9CDSSoftware/job/advLigoRTS/11/console
I would have expected the cmake step to fail here, rather than the build step.