V3 wp8 fix

This pull request fixes the broken wp8 build resulting from recent changes to the V3 branch.