gcc-4.8: make use char_type to avoid fatal "useless type" warnings