Changed t_debian7 requirement to t_debian7.sh.