fix no built-in `repeat-char'