[Automatic Bug Reporting Tool - ABRT] #842: wrong line are marked - it's a bug in addr2line -> file a bug!!