fix OBS build failure