Restore older version of the file which was deleted by accident (it was working on 32 bit)