TBR: presubmit: fix WriteFile call.
TBR: presubmit: fix WriteFile call.

PresubmitTest: none
Change-Id: I248d32fc26045005772a66a1ff2312f16685e17b

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools