16 tests fail in 4.20.0 on FreeBSD

Prerequisites

Please put an X between the brackets as you perform the following steps:

• Check that your issue is not already filed:
  https://github.com/leanprover/lean4/issues
• Reduce the issue to a minimal, self-contained, reproducible test case.
  Avoid dependencies to Mathlib or Batteries.
• Test your test case against the latest nightly release, for example on
  https://live.lean-lang.org/#project=lean-nightly
  (You can also use the settings there to switch to “Lean nightly”)

Description

99% tests passed, 16 tests failed out of 2594

Total Test time (real) = 1448.68 sec

The following tests FAILED:
        340 - leantest_inductionErrors.lean (Failed)
        506 - leantest_scopedMacros.lean (Failed)
        563 - leantest_termination_by.lean (Failed)
        1232 - leanruntest_coinductive_predicates.lean (Failed)
        1233 - leanruntest_coinductive_predicates_errors.lean (Failed)
        1589 - leanruntest_grind_ring_2.lean (Failed)
        1592 - leanruntest_grind_ring_5.lean (Failed)
        1644 - leanruntest_inductionComplexMotive.lean (Failed)
        1883 - leanruntest_mutual_termination_by_errors.lean (Failed)
        1963 - leanruntest_partial_fixpoint_prop.lean (Failed)
        2340 - leanruntest_whereCmd.lean (Failed)
        2471 - leanplugintest_SnakeLinter.lean (Failed)
        2479 - leanpkgtest_module (Failed)
        2487 - leanpkgtest_user_plugin (Failed)
        2591 - leanlaketest_precompile (Failed)
        2594 - leanlaketest_targets (Failed)

LastTest.log

Various syntax issues cause test failures

Context

Version: 4.20.0

Steps to Reproduce

configure/build/test

Versions

Version: 4.20.0
FreeBSD 14.2

Run configure/build/test for Lean 4.20.0 on FreeBSD 14.2 and inspect the linked LastTest.log alongside the 16 named failing tests, including the leantest, leanruntest, leanplugintest, leanpkgtest, and leanlaketest cases. Determine the causes of the reported syntax-related failures; done means the listed tests pass on the reported platform.