Fix issue of binsrch_close() rudely not closing and preventing a subsequent delete on that file.