/usr/share/dev/bin/