Apparently, DEF is supposed to take vias from LEF files unless given inside the DEF file ("VIAS" section). Currently this doesn't happen - vias from LEF are used inside the LEF files, but not exported.