The GCC side should be fixed/improved to avoid this situation. It can be further improved by making the binary names more stable.