Fix apt source for Ubuntu 12.04 (precise)