First I tried my old favourite, CubicSDR.
I like CubicSDR largely because of the nice keyboard commands for tuning around and zooming.
Next I ran GQRX 2.5, which works well. I noticed I could also receive the broadcast on 1273.5MHz.
Finally I stumbled across waveSDR in source code format by Justin England or getoffmyhack.
I had a bit of trouble figuring how how to tune it, the secret is to choose Tuner from the popup in the left panel. You can also click on the spectrum but dragging doesn't seem to work.