update for mozRepl