Renamed files to more Tex friendly names