travis segmentation fault ?