Fix travis configuration