In the meantime, i've found that the tutorial here works just fine:

https://github.com/spesmilo/electrum-server/blob/master/HOWTO.md

If you follow it, you end up with a fully functional electrum server