Fix for CI script

Hopefully this works…