mysql travis updates