Also clean up .tmp*.aux files