The call to `export_lib()` is quite slow on Windows, presumably due to the slow file I/O. For example, in https://github.com/dmlc/tl2cgen/actions/runs/8013365705/job/21890278531, the test suite finishes in 3 min on Linux but takes over 2 hours on Windows.