Undefined-are-pure causes slicer error

[Novak756]

Hi, running symbiotic with the --undefined-are-pure flag causes my slicer to give the following error:

INFO: Starting slicing
sbt-slicer: Unknown command line argument '-undefined-are-pure'.  Try: 'sbt-slicer --help'
sbt-slicer: Did you mean '--undefined-funs'?
INFO: Slicing FAILED, using the unsliced file.
INFO: Total slicing time: 0.004559516906738281

I built symbiotic using the install-ubuntu.sh script, I also attached the Dockerfiles I used.