More symbols need to be exported.
What happened to these guys?