Corrected bug in dash algorithm. mmap uses now MAP_POPULATE for long queries.