gdbsource: stop if file not found