Audio bug fixing and cleanup. Should fix the problem reported in bug #38 (PulseAudio not working).