Change deprecated _scc_ to {-# SCC #-} (#8170)