added browser's history path to options.py