Fix is_systemtype64