install.sh: fix support for user-specified OFED path