It may be, but I'm afraid that's outside my competence. I happened toneed ip6t_TCPMSS badly and soon, so I went for the quickest solution.Of course, I'd appreciate it if someone were to do it in a better way.