Fix OBS build.