xenomai-userland-staticdev for /include files