misc/benchmarks_nobuild.v removed from the build files