On my Win8.1 Video Export does work, but another user reported it not working (see Anthonie post in the thread below):