Existence of E0-semigroups for Arveson systems: Making two proofs into one