update for travis CI