[Tutti-commits] 11/19: fix build (refs #7930)