Fixed weird missing symbol on some platforms