Try to fix the travis script'