Default vagrant box for php development