Fix travis test procedure