doc: replace machine option in build guide