Fixed debugger to accept filenames without '@'; thanks to Tim Mensch (closes #174).