Fix reference to another scripts in Dejagnu run script.