The solution to the libffi problem seems to be to change it to Cffi and
modify (with install_name_tool) the dynamic  libHSrts and libffi

This also requires modifying hsc2hs so it will pick up the libCffi