diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux
index 36db6940..9fd93ce4 100644
--- a/Jenkinsfiles/Linux
+++ b/Jenkinsfiles/Linux
@@ -48,7 +48,7 @@ pipeline {
                         timeout(time: 5, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make regression
+                                make check
                            '''
                         }
                         timeout(time: 15, unit: 'MINUTES') {
diff --git a/Jenkinsfiles/Linux-18.04 b/Jenkinsfiles/Linux-18.04
index cff3ff6e..5fbe6317 100644
--- a/Jenkinsfiles/Linux-18.04
+++ b/Jenkinsfiles/Linux-18.04
@@ -42,7 +42,7 @@ pipeline {
                         timeout(time: 5, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make regression
+                                make check
                            '''
                         }
                         timeout(time: 15, unit: 'MINUTES') {
diff --git a/Jenkinsfiles/Linux-Debug b/Jenkinsfiles/Linux-Debug
index d2e0de4b..4fbc89e9 100644
--- a/Jenkinsfiles/Linux-Debug
+++ b/Jenkinsfiles/Linux-Debug
@@ -44,7 +44,7 @@ pipeline {
                         timeout(time: 5, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make regression
+                                make check
                            '''
                         }
                         timeout(time: 20, unit: 'MINUTES') {
diff --git a/Jenkinsfiles/Linux-Debug-18.04 b/Jenkinsfiles/Linux-Debug-18.04
index 35b1e347..2638af72 100644
--- a/Jenkinsfiles/Linux-Debug-18.04
+++ b/Jenkinsfiles/Linux-Debug-18.04
@@ -39,7 +39,7 @@ pipeline {
                         timeout(time: 5, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make regression
+                                make check
                            '''
                         }
                         timeout(time: 20, unit: 'MINUTES') {
diff --git a/Jenkinsfiles/Linux-SGX b/Jenkinsfiles/Linux-SGX
index 373ff8e2..fc2ff106 100644
--- a/Jenkinsfiles/Linux-SGX
+++ b/Jenkinsfiles/Linux-SGX
@@ -82,8 +82,8 @@ pipeline {
                         timeout(time: 10, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make SGX=1 all sgx-tokens
-                                make SGX=1 regression
+                                make SGX=1 all
+                                make SGX=1 check
                            '''
                         }
                         timeout(time: 15, unit: 'MINUTES') {
diff --git a/Jenkinsfiles/Linux-SGX-18.04 b/Jenkinsfiles/Linux-SGX-18.04
index 0f67e920..5d6c3edd 100644
--- a/Jenkinsfiles/Linux-SGX-18.04
+++ b/Jenkinsfiles/Linux-SGX-18.04
@@ -79,8 +79,8 @@ pipeline {
                         timeout(time: 10, unit: 'MINUTES') {
                             sh '''
                                 cd LibOS/shim/test/apps/gcc
-                                make SGX=1 all sgx-tokens
-                                make SGX=1 regression
+                                make SGX=1 all
+                                make SGX=1 check
                            '''
                         }
                         timeout(time: 15, unit: 'MINUTES') {
diff --git a/LibOS/shim/test/apps b/LibOS/shim/test/apps
index 21265aa9..9ce698d6 160000
--- a/LibOS/shim/test/apps
+++ b/LibOS/shim/test/apps
@@ -1 +1 @@
-Subproject commit 21265aa9ecd447cd457ab1ce2e3655ecaec89b9d
+Subproject commit 9ce698d63a2ca6b1ac6ac2dcb2c875d835b46109