A hand-crafted 3D file converter. Patched from Sketchup.