Hmm, there seems to be a problem with the way GitHub serves ZIP files