fix travis mysql server installation