FYI, those issues were largely solved by using the 1.2 release, except for a minor Broccoli configuration issue for which I have already checked in a fix. Cheers, Christian. -- ________________________________________________________________________ http://www.cl.cam.ac.uk/~cpk25 http://www.whoop.org