vagrant with php