Use non-broken myhdl