Fix installation incompatibility on Ubuntu 14.04; see install_on_ubuntu_14_04.sh --Jing Zhang (jingzbu@gmail.com)