video filename encoding bug fixed