Fixing CI again again, stupid bash