Move header.txt to HEADER.txt.