CI bugfixes