Revert "this symbol is not needed anymore"

This reverts commit 13273178732af67bdc0791ddababdf7b72ae2a5b.