fixing some bugs with stub symbol names