[ipcress_file]

You might be better off with duckduckstart.com instead. It's the best of both worlds: you get Google results via startpage by default and can use duckduckgo !bangs when necessary.