Removing some aux files