could also be that one of the version updates in Education/klayout fixed it on 13.2. can we close the bug?