fixed linking issue with xenomai