wp8: digest* extensions added