Small fixes for moving to trunk

These are various small workarounds for changes and bugs in trunk.  This is most of the diff, other than the difference between `Private` and `Local`.
This Goal should be commented out, I guess?