Try to fix Travis-CI