Docker script error

[polgreen]

Hi,

I'm trying to get klee-float working using the dockerfile

I'm following the instructions here https://srg.doc.ic.ac.uk/projects/klee-float/getting-started.html

It produces the following error when running ./scripts/docker_aachen_build.sh

Step 7/19 : RUN usermod --uid ${host_user_id} ${container_username}
 ---> Running in 9889d3239fb2
usermod: UID '0' already exists

I'm on Ubuntu 22.04.2 LTS and using Docker 20.10.17

[afd]

@danielschemmel do you have any pointers regarding this?