Actually properly extract the natives in the userdev plugin.