follows #auto.mk