lndpriv/lndpriv: links for angr-z3