Update demos following sarl/sarl#3.