Fixing small bugs in the OPDK install script