[ros-diffs] [dreimer] 43781: No idea if this is a bug or not, but right now we always use the default "make", regardless which GCC we did set active afterwards. This "fixes" it