with all projects in place for caravel test, can get issues if a project includes a local file

[mattvenn]

like hacksoc, includes params.v but that file isn't in the path for any other project so all caravel tests fail