Die if coqthmdep fails to build