HomeIsabelle/Phabricator

Only check for libffi if we are building the interpreted version.