minor improvements, ignoring latex intermediate files