Program instrumentation options not working

[junchun]

CBMC version: JBMC 6.4.0 (cbmc-6.4.0-16-g162e0f785d) 64-bit
Operating system: macOS Sonoma 14.6.1
Exact command line resulting in the issue: ./jbmc [TARGET] --unwind 5 --classpath [CLASS_PATH] --memory-leak-check amongst other program instrumentation options (e.g. bounds-check, conversion-check, etc.)
What behaviour did you expect: enable memory leak checks as per https://www.cprover.org/jbmc/command_line_options.html
What happened instead: Unknown option: --memory-leak-check