Use __wt_errx instead of a verbose message. #1302