drmemory v2.5.19232 releases: Memory Debugger for Windows, Linux, Mac, and Android