fixes build server on OBS