Links for libfiat