Fix compilation for non xenomai system