test_cif2mcrl2.tooldef dbg_real variable value incorrect

The value of dbg_real is "dbt.txt" but should be "dbg.txt.real", for copy_all.tooldef to work.