https://github.com/mgorny/gpep517/archive/v16/gpep517-v16.tar.gz files/gpep517.bin patches/default-bytecode-levels.patch