don't complain if xenomai_ros doesn't exist