Extract the packet length from the old-format length header
-rwxr-xr-x 2602 gpg-migrate.py