override("GrasGraphs", $GRASHOME)
override("HiGRAS", $GRASHOME)
override("BenchmarkTools", $GRASHOME & "/Benchmarks")
