Fix problems found on ginko, mostly due to symbols not being exported properly.