Use make_ident when doing exports