clarify license information and make to use an ISC-licensed version of compat.py with only small trivial changes