Odp: Problem setting up Orocos with Xenomai kernel