Vagrant & Puppet on Ubuntu64 for PHP development