browser information's file used by get_browser()