fix diverse-tools.mk