Thanks that fixed it! BTW the dependencies list python-is-python2, should that be python-is-python3 now since the SpiderMonkey upgrade is done? Also, the rust dependencies would install python-is-python2 if I installed them from the Ubuntu package manager. I got them from https://www.rust-lang.org/tools/install instead as recommended in the Spidermonkey thread to be on Python 3. Shall we update the build instructions accordingly? Since my system nvtt is too old, I updated the workspac