hcoles/QuickTheories not found