follows #repair.mk