Build with cadical fails

[lonsing]

CBMC version: master commit c608235
Operating system: Ubuntu 18.04
Exact command line resulting in the issue: make -C src
What behaviour did you expect: build succeeds
What happened instead: build fails

This issue is related to issue #5345.

I changed src/config.inc to enable cadical:
CADICAL = ../../cadical

Running make -C src cadical-download successfully builds cadical.

However, running make -C src fails with the following error:

g++ -c -DSATCHECK_CADICAL -DHAVE_CADICAL -MMD -MP -std=c++11 -O2 -DHAVE_CADICAL -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum  -I ..           -I ../../cadical/src -o sat/satcheck_cadical.o sat/satcheck_cadical.cpp
sat/satcheck_cadical.cpp: In constructor ‘satcheck_cadicalt::satcheck_cadicalt()’:
sat/satcheck_cadical.cpp:111:31: error: no matching function for call to ‘cnf_solvert::cnf_solvert()’
   solver(new CaDiCaL::Solver())
                               ^
In file included from sat/satcheck_cadical.h:13:0,
                 from sat/satcheck_cadical.cpp:9:
sat/cnf.h:72:12: note: candidate: cnf_solvert::cnf_solvert(message_handlert&)
   explicit cnf_solvert(message_handlert &message_handler)
            ^~~~~~~~~~~
sat/cnf.h:72:12: note:   candidate expects 1 argument, 0 provided
sat/cnf.h:69:7: note: candidate: cnf_solvert::cnf_solvert(const cnf_solvert&)
 class cnf_solvert:public cnft
       ^~~~~~~~~~~
sat/cnf.h:69:7: note:   candidate expects 1 argument, 0 provided
sat/cnf.h:69:7: note: candidate: cnf_solvert::cnf_solvert(cnf_solvert&&)
sat/cnf.h:69:7: note:   candidate expects 1 argument, 0 provided
../common:222: recipe for target 'sat/satcheck_cadical.o' failed
make[1]: *** [sat/satcheck_cadical.o] Error 1

I also tried to build with #5305 but got the same error.