PHP: improved symbols loading by caching them into the memory and then releasing the memory. This forces the OS to cache the file