ignore .crashcoqide