Transcoding Failure due to missing 'time' shell feature

so what might have happened?
bd_video inserts 'time' before the ffmpeg call to output timing info.
but, afaik 'time' is a bash reserved word, and my exec uses another shell!

solution: use time feature only if available.
in bd_video.module line 401.. change (patch to follow)

function _bd_video_exec($command, &$output, &$result, $mode = 0) {

  if($mode & BD_VIDEO_EXEC_MODE_TIME)
    array_unshift($command, 'time');

to

function _bd_video_exec($command, &$output, &$result, $mode = 0) {

  exec('time', $nooutput, $timecommanderror);
  if($mode & BD_VIDEO_EXEC_MODE_TIME & !$timecommanderror)
    array_unshift($command, 'time');