SERVER-12257: on msync failure, check if the file is still mapped or not before failing