Some simple tools helping to deal with video encoding