stdint, wchar, wctype-h: Change configure message.