dump-se-files.py: fix exit call.