They currently get classed as "other_files"; they should be entirely
ignored.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>