Updated Vagrantfile; using new base php dev box