Rémi Bernon : widl: Use open_input_file to open the main input.