[DO NOT MERGE] Fix Build - checking libcrypto location#222

edwjchen wants to merge 4 commits intomastercircify/circ:masterfrom

MASTERcircify/circ:MASTERCopy head branch name to clipboard