try travis build with php 5.3