Updated repos with #include for spec harness