Update to the latest holland

(This should only happen in the PS fork of the repo)