* commit '15fcf6292ed79be274c824fedb099c2665f4cc15': build: remove hardcoded name of version header This commit is noop, our version.sh is completely different. Merged-by: Clément Bœsch <u@pkh.me>