fix uint64 page size for vm tests