Updates for latest strings and quickcheck libs.