i.e. we don't want them to be removed by an over-zealous `make` that considers
them as a by-product of `.depend`, which would then require them again and
again and again...