WIP: switch to official mysql image;