That deliberately mis-spelled header name always bothered me.  Now
fixed once and for all.

For the record, the original file name was inspired by the 8-character
rule that some of the old compilers that the Hamburg guys had to use,
years and years ago.