Update sbt_string.c and sbt_thread.c in libsbt