video convert: use same script for single file and whole dir