Attempted fix for CI build failure