Attempt to fix test failure on the CI box