installer with 3rdparty
add 3rdparty for ubuntu with xenomai