. correct mysql travis setup