convert various formats to mp4 asking the user