add auctex settings to w32.el