compiling specs2 prod. with the new specification classes