wercker box for coq