Yes, that fixed it. Thanks!
Weird - I could swear that there wasn't a 64-bit option when I first installed it, but I definitely could've just not noticed it. It's probably good to make the 64-version the default anyway because so few people use 32-bit Linux anymore.