Right, I've heard that Linux people can bypass the Emudriver.
But still - did you try Retroarch standalone? The latest one supports 15khz natively on Linux as well.
On RaspberryPi you need to change hdmi_timings in boot/config.txt to output to a CRT - not sure, perhaps directly from Linux on a PC it's different.