no version information, so we better add MD5 sums for these, just so we know the correct sources are used