Now gnss-sdr can be installed by 'sudo make install'