Require proteus for tests