Merge pull request #927 from nico/colorgcc