The important point of the proof either of these objects can be locally trivialized with transition functions on each double overlap given by a constant element of GL(n).  So, given a local system, you just build the vector bundle with flat connection that has the same transition functions, and vice versa.