ignores vivaldi.tmp