The Tox configuration has been fixed to work around a problem on Windows CI.