Fix all the file headers by applying the new template (with no double-// // )