temporary fix until vagrant-puppet-install works again