Fix build

related fix in devtools are in https://github.com/yast/yast-devtools/pull/38