Re: problem building pugs

[rlp]

> Heya.  Thanks for the report; I have checked in a fix (r10231).

Thanks Audrey, that did the trick!