(xalloc_fail): Use "%s" format so the message doesn't have to be scanned for % signs. Suggestion from François Pinard.