cctools.py: fix export of not-small files