setting font of `shell-output-face'? bug?