What type of file should i use for ps4 update for reinstallation