fix to test harness for reachability analysis -- did not work on windows due to improper path handling.