Xenomai Fix : build

2011-09-22, Edouard Tisserant