Distinguish binary names on 32/64-bit Unix - fix #137