Tweak in utils.mk