firefox3が謎のcore dumpするようになってしまった。nvidia-driverを入れ直してみた。なおった。libGL関係……?