There is an alternative way to extract the master extended private key (xprv): in the Electrum console, simply type this:
wallet.get_master_private_key('x/', gui.password_dialog())
Or for the master private key of a wallet created with Electrum 1.x, it's:
wallet.get_seed(gui.password_dialog())