travis-ci php5.3 segfault debug