upgrade vagrant box to saucy 64 bit with php5.5