Re: unicode in *compilation* buffer?