Rename texinfo fragments to make it Windows-friendly