Add default to auctex completing-read