Try to fix Travis integration