[BZ434] Don't ignore file if it is a gdbserver binary file.
[BZ434] Improve comments.