Travis with PHP53