Yes I know, I suspected this kind of answer… and I agree, unfortunately I can’t update it on my own, but I’ll talk with the server admin to do so. Thanks for the suggestion.
Anyway, if anybody experienced this kind of issue, it would be great to hear if there is a workaround.