dir|-4.0|/usr/share/gnuradio/|.*
