auctex: set default pdf browser