Try to fix travis configuration