Add the HowToCompile.txt again.