added flex to packages fetched by bootstrap.sh