Fix Linux build. A symbol was not exported.