Use batch instead of -silent to avoid interactive prompts in travis GDB...