Use mpg123 on Linux, use pyglet otherwise.