convert to php53
update vagrant file