Looser check on MySQL server version. Fixes #1479.