Fix for OBS packaging