wp8: build fix