gdb: Catch exceptions if the source file is not found