Use object filename (cacheName + extension) + ".info".

Note that object filename .info is filename for storing the cache info.

Change-Id: Ifba81465f2153973b7079683b292327710672273
diff --git a/lib/ExecutionEngine/Script.h b/lib/ExecutionEngine/Script.h
index bb4ace3..7fe3e03 100644
--- a/lib/ExecutionEngine/Script.h
+++ b/lib/ExecutionEngine/Script.h
@@ -98,9 +98,9 @@
 
     inline std::string getCacheInfoPath() const {
 #if USE_OLD_JIT
-      return std::string(mCacheDir + mCacheName + ".oBCC");
+      return getCachedObjectPath().append(".oBCC");
 #elif USE_MCJIT
-      return std::string(mCacheDir + mCacheName + ".info");
+      return getCachedObjectPath().append(".info");
 #endif
     }
 #endif