note that redo also checks for a default.ext.do file