changing format of header guards; they used to be of the form __FILE_H, changing to FILE_H_