Should the .zip file be deleted here? It isn't needed any more.