Fix travis integration