A little tool for batch-converting movies