Hi Jean-Francois,

Were you able to update to the next galaxy-dist and test?  This issue should be resolved in 8771:ae446180fd11, which was added just after the distribution you were using previously.

-Dannon