Comment 13 for bug 761955

Fix committed in trunk. See http://bazaar.launchpad.net/~didier-barvaux/rohc/main/revision/229 . The commit is not atomic, it changes many more things I did at the same time. My bad.

Thank you Klaus for reporting the problem, providing a solution and answering my questions :-)