config.mk: delete unnecessary lines