diff --git a/benchmarks/opencl/compiler/lib/libOpenCL.so.2.5.0 b/benchmarks/opencl/compiler/lib/libOpenCL.so.2.5.0
index b7ba2ae2..abf161fb 100644
Binary files a/benchmarks/opencl/compiler/lib/libOpenCL.so.2.5.0 and b/benchmarks/opencl/compiler/lib/libOpenCL.so.2.5.0 differ
diff --git a/driver/rtlsim/Makefile b/driver/rtlsim/Makefile
index 09fd957d..bafa89bc 100644
--- a/driver/rtlsim/Makefile
+++ b/driver/rtlsim/Makefile
@@ -13,8 +13,8 @@ DBG_PRINT_FLAGS += -DDBG_PRINT_DRAM
 DBG_PRINT_FLAGS += -DDBG_PRINT_PIPELINE  
 DBG_PRINT_FLAGS += -DDBG_PRINT_OPAE
 
-#DBG_FLAGS += $(DBG_PRINT_FLAGS)
-#DBG_FLAGS += -DDBG_CORE_REQ_INFO
+DBG_FLAGS += $(DBG_PRINT_FLAGS)
+DBG_FLAGS += -DDBG_CORE_REQ_INFO
 
 #CONFIGS += -DNUM_CLUSTERS=2 -DNUM_CORES=4
 #CONFIGS += -DNUM_CLUSTERS=1 -DNUM_CORES=4