Make idlharness.js work again.