Try to find the cause for the travis segfault