Fix Travis configuration.