Because, with a recent CMake, if doc/header.html is provided and the
build folder is the root folder, this file gets overwritten by itself,
disappears, and therefore can't be installed.