Redirect output of minedb-gra.sh to /dev/null.