Fixing travis CI