The downloadable package is now updated, and it should support 32 and 64 bit kernels. Please let me know if there are any more problems. Thanks for everyone's patience!

* Edit: I also emailed everyone who had contacted me about this.