Travis MySQL tweaks