*.pyc
*.pyo
libz3.so
z3*.py
