Forgot to remove spurious md5sums