DEVELOPERS: update entry for gcc