do not remove aux etc. files during `make submission'