There was still a (new) bug in the STl export. Fixed.