The code is not currently run on Windows (extensions are built in), so should be fine.