Xenomai Fix : runs, but still fail in debug

2011-09-25, Edouard Tisserant