tinker with Travis MySQL settings