diff --git a/lib/symbioticpy/symbiotic/tools/kleebase.py b/lib/symbioticpy/symbiotic/tools/kleebase.py
index 17020503..4b5d95a3 100644
--- a/lib/symbioticpy/symbiotic/tools/kleebase.py
+++ b/lib/symbioticpy/symbiotic/tools/kleebase.py
@@ -106,8 +106,9 @@ def set_environment(self, env, opts):
         if opts.devel_mode:
             env.prepend('PATH', '{0}/klee/build-{1}/bin'.\
                         format(env.symbiotic_dir, llvm_version))
-
-        prefix = '{0}/install'.format(env.symbiotic_dir)
+            prefix = '{0}/install'.format(env.symbiotic_dir)
+        else:
+            prefix = '{0}'.format(env.symbiotic_dir)
 
         if opts.is32bit:
             env.prepend('KLEE_RUNTIME_LIBRARY_PATH',