Correct directory name for servlet overlay.