Pick the proper mysql version, depending on distro

Change-Id: I80ad0abf9cbbe7e277406ae4468dc9fbb255e43c