[boost] [Boost-bugs] [ boost-Bugs-1532684 ] Changing size of memory-mapped file on Windows