Well, it seems that R64 was installed anyway. So I tried it, and the problem (cf. "*** caught bus error *** ..." in this list) seems to have been solved. Perhaps Simon can confirm? Thanks, Richard