diff --git a/.builds/debian-stable.yml b/.builds/debian-stable.yml
index 859600eea9413f7b6f6c8d085b2503cd7df9b3c7..b452930b14391ae276ae61ef0e2be961515b2c65 100644
--- a/.builds/debian-stable.yml
+++ b/.builds/debian-stable.yml
@@ -23,4 +23,4 @@ tasks:
 - check_config_sample: |
     curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.39.0/dhall-1.39.0-x86_64-linux.tar.bz2
     tar -xf dhall-*.tar.bz2
-    bin/dhall --plain < sgx-jmp/config.dhall.sample
+    echo "./sgx-jmp/config.dhall.sample : ./sgx-jmp/config-schema.dhall" | bin/dhall --plain