ignoring auxfiles