Update link to native symbolic execution