Ubuntu 12.10 compile fix