While playing a video, I have tried recording a portion of it by pressing the red record button. I wait a few seconds and then click it again to deactivate. According to everything I've read, VLC should generate a file and save it to my videos directory. However, there is no file generated. I've sea...