attempt to fix Windows CI problem