* contrib/ari/gdb_ari.sh (GNU/Linux rule): Remove.