OK. I added a workaround for this problem. It is building right now in OBS. Please check it again in a few minutes from the above URL.