Not sure why this is needed by the CI; it's not needed locally. This is a mystery that will have to wait for another day.