follows #ethereum.mk