Extraordinary patch for Windows 10 1903 solves a problem with USB microphones