Set Europe/London as default timezone in Vagrant php5 setup