minor tweaks to avi2fmf conversion script