Remember MYSQL_FLAVOR in bootstrap.sh and restore it in dev.env.