looks like the issue is on OBS side "osc se --binary dosbox" only shows 42.1 Adrian, any idea what's missing?