On 14/06/2007, at 9:33 , Jonathan Kew wrote: > So maybe something is broken in the build you're running. Well, whatever the problem, after deleting my local copy of the repository and recompiling, everything now seems fixed. Not sure why that could be, but we're all good :) Thanks! Will