Fix build error: no more Compilation.txt doc file