[Commits] 1cc0462d429: Fix printing of line numbers when using addr2line