puppet: patch https://github.com/puppetlabs/puppet/pull/3132