Rename some files - couldn't open them properly on linux