add ubuntu 12.04 ustc source list