export.py: extract files as binary (might fix #12)