Fix git prompt problem on Ubuntu 14.04