diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py
index cd5c11ed8709720e59e1bd9923e5202b716fab7d..863883583d6c1e9fac623cd89a130386200caade 100644
--- a/var/spack/repos/builtin/packages/kripke/package.py
+++ b/var/spack/repos/builtin/packages/kripke/package.py
@@ -35,4 +35,4 @@ def install(self, spec, prefix):
         # Kripke does not provide install target, so we have to copy
         # things into place.
         mkdirp(prefix.bin)
-        install('spack-build/kripke', prefix.bin)
+        install('../spack-build/kripke', prefix.bin)