fixed redondant ldflag and a typo in xenomai build

2011-11-16, Edouard Tisserant