788b67cbde
This would be avoided if the targets.mk files are updated by rerunning mktargets.sh instead of manually updating them.