Handle the case where pkg-config is not installed or libffi is not visible.
Handle the case where pkg-config is not installed or libffi is not visible.

cogumbreiro/habanero-coq,cogumbreiro/habanero-coq,cogumbreiro/hj-coq,cogumbreiro/habanero-coq