gmake -f genTCBKeys.mkf2