update Migen tuto