File headers: use SPDX license identifiers