Fix Xenomai makefile