Arreglar micrófono en Linux Mint Cinnamon 18

Hay un bug en Linux Mint Cinnamon 18 que hace que el sistema no reconozca el micrófono. Para solucionarlo hay que editar el fichero /usr/share/cinnamon/cinnamon-settings/modules/cs_sound.py y en la línea 607 sustituir

self.inputSelector = self.buildDeviceSelect("output", self.inputDeviceList)

por

self.inputSelector = self.buildDeviceSelect("input", self.inputDeviceList)