[Sf2SK] Vagrant: Using trusty32-phpdev-20141220