Fix xenomai pthread mode