[PATCH 7/7] widl: Use open_input_file to open the main input.