Specify mysql version