Cleaned up RunDoctestsScript.