Dont use "eval time", time depends on bash
eval will use /bin/sh to run the shell command, and on Debian/Ubuntu this points to dash, which does not have the time command Replaced with bash -c
eval will use /bin/sh to run the shell command, and on Debian/Ubuntu this points to dash, which does not have the time command Replaced with bash -c