Support eliom interface files.