BIN_DIR
The installation script warns about `BIN_DIR` not being found in `$PATH` when the users pass a trailing forward slash. This has been discussed in #1310, #1341, and #3486. Fixes #3493