The VM image [here](https://www.lf-lang.org/embedded-lab/UbuntuVM.html) is not updated. It uses the lfc version 0.4.1, so the `single-threaded: true` target option is not supported.
