more fixes in the testsuite

testsuite/runtime/eval/eval.gfs

@@ -1,4 +1,4 @@
-i testsuite/runtime/eval/Test.gf
+i -src testsuite/runtime/eval/Test.gf
 
 pt -compute \x -> x 1 : (Int->Int)->Int
 pt -compute (? : Int -> Int) 1

testsuite/runtime/linearize/linearize.gfs

@@ -1,3 +1,3 @@
-i testsuite/runtime/linearize/TestCnc.gf
+i -src testsuite/runtime/linearize/TestCnc.gf
 
 l Exist (\x -> Even x)

testsuite/runtime/paraphrase/lambda.gfs

@@ -1,4 +1,4 @@
-i testsuite/runtime/paraphrase/lambda.gf
+i -src testsuite/runtime/paraphrase/lambda.gf
 
 pt -compute f1
 pt -compute f2

testsuite/runtime/typecheck/typecheck.gfs

@@ -1,4 +1,4 @@
-i testsuite/runtime/typecheck/Test.gf
+i -src testsuite/runtime/typecheck/Test.gf
 
 ai succ "0"
 ai succ : Int 0