dvi から pdf に変換するツール dvipdfmx で日本語を含むファイルを扱う。ここ(Linux/Debian の編集 - TeX Wiki)を参照し、/etc/texmf/texmf.d/50dvipdfmx.cnf を編集。その後、忘れずに update-texmf を root で実行。

DELL Dimension 4700c の場合、PowerEdge 800 と同様のこと(cf. id:atm:20050131#p1 )がおこる。なお、一層悪いのは、USBのキーボードとマウスを使っているので、RTC で引っかかったときに Ctr+C を使えないことだ。USB のデバイスが認識される前に引っかか…