It didn't worked.
We were following instructions sent by the company, I don't really know a lot about this.
By using the command snx -v I get the following:
Check Point's Linux SNX
build 800007075
And stuff unrelated to this question.
This is on my computer, where the SNX is running without any problems. But on his machine, after following the exact same procedures, he gets this:
Check Point's Linux SNX
build 800008084
The instructions the company gave us say that the "build should be 7075 otherwise it won't work", and indeed my colleague's snx isn't working.
So I need to know how to get precisely this result, or at least understand what is happening.