Ubuntu-12.04.3-server-amd64 renamed to precise64