diff --git a/src/tests/encore/basic/Makefile b/src/tests/encore/basic/Makefile
index 6f08d97b3..ac5f96a14 100644
--- a/src/tests/encore/basic/Makefile
+++ b/src/tests/encore/basic/Makefile
@@ -2,7 +2,7 @@ ENCORE_SOURCES=$(shell ls *.enc)
 ENCORE_TARGETS=$(ENCORE_SOURCES:.enc=)
 
 test: embed_tl.o
-	@./test.sh $(ENCORE_TARGETS)
+	@./test.sh $(ENCORE_SOURCES)
 
 embed_tl.o: embed_tl.c embed_tl.h
 	clang -c embed_tl.c
diff --git a/src/tests/encore/basic/test.sh b/src/tests/encore/basic/test.sh
index 605495780..a85b95e9f 100755
--- a/src/tests/encore/basic/test.sh
+++ b/src/tests/encore/basic/test.sh
@@ -13,8 +13,8 @@ function run_test {
     # piped into that script. The test is successful iff the script
     # returns normally (exit 0).
 
-    program=$1
-    source=$1.enc
+    source=$1
+    program=${source%.enc}
     # compile and, if successful, run the program:
     output=$(${ENCOREC} $source && ./$program)
     checking_script=./$program.chk
@@ -48,11 +48,12 @@ passed=0
 failed=0
 failed_list=()
 
+# skipped=(async.enc)
 skipped=()
 progs=("$@")
 for rm in "${skipped[@]}"
 do
-    progs=(${progs[@]/$rm})
+    progs=(${progs[@]/#$rm})
 done
 for prog in "${progs[@]}"
 do