MYSQL_VERSION_MAJOR=5 MYSQL_VERSION_MINOR=5 MYSQL_VERSION_PATCH=15 MYSQL_VERSION_EXTRA=-MariaDB