Make addr2line's location configurable