gcc: obsolete file