#1874: Broken "make update"