Update build for Ubuntu 12.10.  12.04 seems to no longer compile