Trying to access an old wallet.dat So I found my old mining wallet from 2012 that I earned some 0.5BTC on, but I'm having trouble accessing the file. I've tried following the instructions here (opening an old wallet.dat), but I'm running into an error using the pywallet program. It throws

File "pywallet.py", line 852
    _p = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2FL
                                                                           ^
SyntaxError: invalid syntax

I've tried adding it into a new install of Bitcoin Core, but it appears as though I need to download the blockchain before it will scan my wallet as it isn't showing me any info about the wallet (like previous receiving address). Let me know if I can provide more information.
While I did wait for the blockchain to download and to see if Bitcoin-Core could simply read its own file. The program failed to read in any of the info from my wallet.dat file, even after following the instructions in the post listed in my initial question. I ended up using walletool, which worked without a hitch. It gave me a list of every public and private key associated with the wallet. It has a script for checking your balance, but I was unable to get it to work reasonably quickly and ended up manually checking the balances of each address using bitref.