Re #21; fix Criterion installation

See bos/criterion#43.