wp8: fix build