some refinements for magit, ess and auctex