People who already have encountered the problem will need to manually change the audio backend (or delete the config INI).