add src/check-and-uncompress.py