Is a compiled version available over the net? The noa.huji.ac.il compilation failed. Thanks in advance Jacques Goldberg - TECHNION