CompilationUnit object has no attribute contracts_names

[Silur]

Running manticore-verifier on a template "hello world" hardhat project fails with the following trace every time:

Traceback (most recent call last):
  File "/usr/local/bin/manticore-verifier", line 8, in <module>
    sys.exit(main())
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/verifier.py", line 498, in main
    return manticore_verifier(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/verifier.py", line 157, in manticore_verifier
    contract_account = m.solidity_create_contract(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 585, in solidity_create_contract
    compile_results = self._compile(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 359, in _compile
    compilation_result = ManticoreEVM._compile_through_crytic_compile(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 287, in _compile_through_crytic_compile
    if contract_name not in compilation_unit.contracts_names:
AttributeError: 'CompilationUnit' object has no attribute 'contracts_names'

npx hardhat compile works and generates the artifacts successfully

Hardhat version: 2.12.7
Manticore version: Docker 60b76c160580