fixed some bugs related to ubuntu 14.04 and install scripts