in this line https://github.com/eurecom-s3/symqemu/blob/e09c3d597e3ac9ed7b7820971999773449eb896b/README.md?plain=1#L58 the symqemu binary path is x86_64-linux-user/symqemu-x86_64, But the actual path is symqemu/build/qemu-x86_64 