Fix for CI box.