Fixing travis settings