fixed compatibility with xenomai versions >= 2.6