diff --git a/hysop/backend/device/opencl/opencl_env.py b/hysop/backend/device/opencl/opencl_env.py
index f85f5a7e913b9c6e84e0e49a7f4c264ebf71bbed..ed84e0f6843ac5654d7b24090764d0dfdfb294df 100644
--- a/hysop/backend/device/opencl/opencl_env.py
+++ b/hysop/backend/device/opencl/opencl_env.py
@@ -566,14 +566,13 @@ Dumped OpenCL Kernel '{}'
         if not os.path.exists(dump_folder) and (main_rank == 0):
             os.makedirs(dump_folder)
 
-        if DEBUG and True:
+        if DEBUG:
             # dump kernel source while in debug mode
             dump_file=dump_folder+'/rk{}_{}_dump.cl'.format(
                 main_rank, kernel_name)
             print 'Dumping kernel src at \'{}\'.'.format(dump_file)
             with open(dump_file, 'w+') as f:
                 f.write(gpu_src)
-            build_opts += ['-g', '-s {}'.format(dump_file)]
         s_build_opts = ' '.join(build_opts)
 
         if VERBOSE: