Implement #956 (rabin2 -k - prompt) and fix r_bin_load()