Add definition for Ubuntu Server 12.10.

Not checked very well after install, but seems good.