The profile @quickcheck could not be found.