[boost] Bug in mapped_file.cpp