Enable static linking for fstar-lib