Fix Puppet issue with Vagrant 1.3.1