Update to mozilla/rust@aa6725407ae0a2cb88458e147e76adf8bcae0961.

This should still work fine with older versions as well.