made some improvement on the php for vagrant