Maybe it has something to do with this:<p>&gt; Cyclone is no longer supported; the core research project has finished and the developers have moved on to other things. (Several of Cyclone&#x27;s ideas have made their way into Rust.) Cyclone&#x27;s code can be made to work with some effort, but it will not build out of the box on modern (64 bit) platforms).