fix sound in minecraft for pulseaudio users
Merge pull request #4388 from NixOS/minecraft-sound

Minecraft sound with Pulseaudio