added flycheck, auctex