Hotfix for CI