fix rust::head compilation error.
fix ghc::head compilation error.