What's getPackageId? It does not appear in the WASH source.

It's in Setup.lhs, in WashNGo.