log.mk introduced (moved from defs.mk); minor fixes