travis-ci segfault on php4