Modify concrete2json.py to work with arbitrary concrete files.