Another try to fix travis integration