fix for linking to xenomai libraries