[Bug 731613] GCC Plugin header don't seemed to have been shipped