I can’t get that tool to work. I always get
“error: command ‘x86_64-linux-gnu-gcc’ failed with exit status 1”