Fixing FindXenomai for versions greater than 2.6.0 where the RTDK symbols are now built into libxenomai