xenomai deb to allow easy removal