[CV32E40S] DSIM uvmt fails to build

Hello, I have some problems with running the CV32E40S UVMT testbench for hello-world test. When I try to run this testbench for CV32E40S, they result in error FileNotFound. Testbench for CV32E40P work normally.

The error from the logs is:

...
=N:[DisabledSvaFeature]:
    The following SVA features are being disabled:    

    /home/jan/core-v-verif/core-v-cores/cv32e40s/sva/cv32e40s_alignment_buffer_sva.sv:81:3      Properties                   
    Included from /home/jan/core-v-verif/core-v-cores/cv32e40s/bhv/cv32e40s_wrapper.sv:16:12                                 

    /home/jan/core-v-verif/core-v-cores/cv32e40s/sva/cv32e40s_alignment_buffer_sva.sv:86:7      Assert property statement    
    Included from /home/jan/core-v-verif/core-v-cores/cv32e40s/bhv/cv32e40s_wrapper.sv:16:12                                 

    /home/jan/core-v-verif/core-v-cores/cv32e40s/sva/cv32e40s_mpu_sva.sv:179:25                 Cover property statement     
    Included from /home/jan/core-v-verif/core-v-cores/cv32e40s/bhv/cv32e40s_wrapper.sv:31:12                                 

    /home/jan/core-v-verif/core-v-cores/cv32e40s/sva/cv32e40s_mult_sva.sv:98:3                  Sequences                    
    Included from /home/jan/core-v-verif/core-v-cores/cv32e40s/bhv/cv32e40s_wrapper.sv:32:12                                 

=E:[FileNotFound]:
    The following files specified on the command line could not be opened:    

        

        

        

    Simulator invoked from directory: /home/jan/core-v-verif/cv32e40s/sim/uvmt    

  Metrics DSim version: 20240923.0.0 (b:R #c:0 h:e981d301ee os:ubuntu_22.04)
make: *** [/home/jan/core-v-verif/mk/uvmt/dsim.mk:137: comp] Error 1

I am currently at the head of the cv32e40s/release branch. Also, there seemed to be some issues related to DSIM from 2022. Are those issues still relevant, thus DSIM is not suitable for running testbenches on this core?