did qed fail because of missing tmp/qed?