use ubuntu precise ppa