aux-files etc deleted