Fix paging issue with lib4d driver