Removed useless command-line option.

We can forget `--forget-inc-paths`.