Update: The problem was related to 32 vs 64 bit kernels, and is fixed now. I also received an email confirmation from everyone who reported the issue that it works for them. Thanks!