mysql: update to 5.6.20; fix initial setup noticed by @dominikh.