improve the issue by turning sharing back on

Now the same innocent change increases the running time, not by
7 seconds, but by at least 100, after which I killed it.