Fix addr2line binary name for Android 4.2

Fixes #1
Fix error message