Using boost's file mapping functions