Configure Travis to use any php5.3.