require, reload: also restore source path in a finally block.