Use open() instead of the file constructor

This is required to make this script work with Python 3, but even
in Python 2 open is preferred over file():

Bug: 941669
Change-Id: I4738fc9bad81464c9ca5c9c15a3c51e9ee3f945d
Commit-Queue: Christian Biesinger <>
Commit-Queue: Nico Weber <>
Auto-Submit: Christian Biesinger <>
Reviewed-by: Nico Weber <>
Cr-Original-Commit-Position: refs/heads/master@{#685372}
Cr-Mirrored-Commit: 52ceac9f3aaebc1f30324de7aed05890453aa1bf
1 file changed