BrowserSim: adding  an option (enabled by default) to enable GTK2 on Linux