Correctly obtain Syndicate public key in syntool.py.