I was able to get it working and ran it, but the program (dbdump.py) just says "Couldn't open wallet.dat/main, try quitting Bitcoin and running this again." Even tried fixwallet.py, but same result. I guess I just lost 20 BTC.