change kernhigh.org file to kernhigh.txt