Fix bug where instrumented version of webidl2 was loaded.

Despite JSCOV not being defined.