Ubuntu 12.10 build fixes