Had to send my Lumia 2520 for repairs, and as a result of the factory reset, I'm reinstalling all my software. Noticed that VLC has currently no ARM build available. Any chance of a repush, and if so, what would the ETA on that be? Also tried searching for a direct download link for a wizard, but no...