PHP development environment in a Debian 7.0 RC1 Vagrant Virtual Machine