/home/user/evaluation/bash_trace: line 2: Typeset: command not found