fix git prompt for ubuntu 13.04