Vagrant Machine with debian x64 and PHP5.4