Use newest versions of erlehmann's redo scripts.