Fix 361 vagrant has plugin and fix a error with php5 ondrej's ppa

@stof Please feel free to refuse this.

As we were talking in #361, I had already started the PR, so, just to finish the work here.