Re #6563. A way of installing that doesn't hang!

I'd only tested the previous method I tried on the command
line. Turned out that didn't work within python.