pin the "clock" version to 0.5.2
pin the "clock" version to 0.5.2

This should solve the CentOS 6 build problems with abcBridge

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script