terminal: Silence -Wunused-function

https://bugzilla.gnome.org/show_bug.cgi?id=734268
terminal: Fix incompatible pointer type warning

A gchar ** needs to be explicitly typecast to const gchar **.

https://bugzilla.gnome.org/show_bug.cgi?id=734268