fixed problems in mmap, and made exec use demand paging via mmap