Tryign to make Travis work for C*