dxf export: add extension (fixes #9544)