added installation of quickcheck