MYSQL_VERSION_MAJOR=10 MYSQL_VERSION_MINOR=1 MYSQL_VERSION_PATCH=7 MYSQL_VERSION_EXTRA=