Change Firefox default search engine to DuckDuckGo in Linux Mint 17