modified yade executable, fixing bug 1134422