Get rid of annoying gdb messages.
Make auto-revert files update more frequently.