libtcc: tcc_get_symbol uses the TCCState parameter