attempt to make the CI build working again, which currently shows a pretty weird behavior.