[sr-dev] git:master:87ed3d9c: src/Makefile.defs: recognize GCC 13 as recent ⇔ not too old compiler