I've removed it completely instead.  If we ever do get constructors to work cross-language, chances are by then we will have moved the mangling into the frontend anyway.