wercker box for ssreflect/mathcomp