So this procedure helped with the GLIBX issue, correct?
Since it is not showing up with the ls command, then you are down to a couple of items..
1) What color and state is the USB light on the front of the of the standalone miner? Are there any other lights on the bottom of the unit lit?
2) Try a different USB port on the RPi?
3) Try a different USB cable?
4) What PS are you using and are both PCIe power cables plugged in tightly?
Tried mine with 3 different cords (one being the one that came with the board) on 3 different machine and it still does not show up.
USB light is red in all combinations