[sr-dev] git:master: doc: dump_*.pl: support for gcc 4.5