bugfix

4 jobs for 34-separate-double-double-summation-from-the-rest-2 in 6 minutes and 29 seconds