[seL4] Compiling Error for Hello World

Hi,

I was trying to compile hello world using the tutorial here https://docs.sel4.systems/Tutorials/#get-the-code. I was able to compile sel4test before and I built the dependencies using docker. For running hello world, I used the command "../init --plat pc99 --tut hello-world". Then I got the following error message:

Traceback (most recent call last): File "../init", line 16, in <module> import common File "/home/bikas/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 16, in <module> import sh ModuleNotFoundError: No module named 'sh'

I have looked into my machine and I do have sh in "/usr/bin/sh". I am not sure what is the source of the error. Please let me know.

Thanks!