I think the licenses can just be per-file. If we note that this file has a different license, that should be fine.