In case people are still curious, the upload yesterday was missing a bunch of files. There is a new file for download 9/12/2013 which is working fine for me.