I will organize a recent Windows machine with newest versions of these tools and test/debug there myself (https://github.com/rochus-keller/LeanCreator/issues/3).