Added flex to USE_TOOLS.