webmidi: USE_JAZZMIDI removed (we want to use it).