Add missing symlink for cell3
Merge branch 'GaloisInc-master'