python2-capstone: switch to sha512sums