Error when using mathlib4 as a dependency: "Contains non-UTF-8 data"

[dialectics67]

I created a project using mathlib following the instructions in this document (https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency).
lake +leanprover-community/mathlib4:lean-toolchain new tryMath math
lake exe cache get
lake build
but when I executed lake build, I received the following error:

✖ [534/5699] Running proofwidgets/widgetJsAll Error: Failed to read the file '...lake/packages\proofwidgets\widget\src\Ak7F0F53Sq.js', which contains non-UTF-8 data. Some required builds have failed: proofwidgets/widgetJsAll Error: Build failed

I checked the directory '...lake/packages\proofwidgets\widget\src' and did not find the file 'Ak7F0F53Sq.js'.

My operating system is Microsoft Windows 10 Enterprise LTSC.

[vihdzp]

This seems relevant: https://leanprover.zulipchat.com/#narrow/channel/113489-new-members/topic/Error.20while.20importing.20Mathlib

Basically, you should update Mathlib to v.4.15.0 instead of updating it into v.4.16.0, at least for the near future.