Fix OBS build