Travis: another try to fix segfault