Don't know. Hopefully it will be fixed in the Windows Phone 8.1 compiler.