Downgrading PHP requirement for vagrant