Fix XenomaiConfig.cmake for ubuntu