Fix travis test configuration