Update build for Ubuntu 12.10.  Couldn't get 12.04 to work