Only add xenomai flags if xenomai is found