A little tool to batch-convert movies