python: Use open(), not file()