use mibuild for de0_nano example
use mibuild for de1 example