fix; ubuntu ppa issue in travis