Workaround for RasPi selecting jack server.

I could not fix the issue #604. But it might work on the RaspberryPi.