ignore auctex garbage
add seal images