proper mysql version