Thanks for the suggestion James. The problem seems to be related to <a href=https://bugs.launchpad.net/bugs/202089>bug 202089</a> indeed.
The following workaround solved the problem for me:
$ killall pulseaudio $ sudo apt-get install timidity
Thanks for the suggestion James. /bugs.launchpad .net/bugs/ 202089>bug 202089</a> indeed.
The problem seems to be related to <a href=https:/
The following workaround solved the problem for me:
$ killall pulseaudio
$ sudo apt-get install timidity