I have the same problem. And I did find the executable file, I clicked on the execute button but it wouldn't open, I waited to see if it would open for like 5 minutes but it wouldn't open. The file was just called 'clangen' with a paper aeroplane icon. I'm using a raspberry pi 4 computer (linux) could someone please help me with this?