Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.
//-------------------------------------------------------------------------------
//-------------------------------------------------------------------------------
//-------------------------------------------------------------------------------
#endif