another hack to export files in other formats