Log Message:
Update gnuradio-core (and others) from 3.7.5 to 3.7.5.1
See commit log of gnuradio-core for the changes. Or
  2014-10-21 GnuRadio 3.7.5.1 is available
  http://gnuradio.org/redmine/projects/gnuradio/wiki/ChangeLogV3_7_5_1