Minor changes to make libthr symbols look right