Fix Travis settings