update libcxxabi symbols
run sanity checks with -v + an input file