RUST HACK: rust do have gnu_gxx_personality