adapt to mibuild/migen changes