Bug#849815: closed by Peter Colberg (Bug#849815: fixed in julia 0.4.7-3)

[Tony Kelman]

Thank you Peter! That looks like it should do the trick.