wp8: rename platform to wp8