travis : test only php 5.3 since php 5.4 does segfault