temporary modification for building with new rust - just our side. if it is modified by Mozilla, we need to revert this and merge to it