There was still a bug in the divisible STL export routing. It is fixed now.