some tries to get demand paging to work