Fixing CI.proj for Travis