fix compilation on Windows by "paket install --hard"