I had to make a few small changes for the build to work. Can somebody experienced do the needed changes to the repo? [ikos.patch](https://github.com/user-attachments/files/24822180/ikos.patch)