specify a version of mysql