Use 12.04 tag for precise

It's smaller and faster a bit. :)